»Notizen sichern: Mini-Apps exportieren nach HTML und PDF«, via @ifun — https://www.ifun.de/notizen-sichern-mini-apps-exportieren-nach-html-und-pdf-154102/